1. Model Checking and Artificial Intelligence
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer systems ; Verification ; Congresses. ; Computer software ; Verification ; Congresses. ; Artificial intelligence ; Congresses. ; K?nstliche Intelligenz ; Model Checking ; Kongress ; Patras <2008> ; Model Checking. ; swd. ;
2. Model Checking and Artificial Intelligence
پدیدآورنده: / Doron A. Peled, Michael J. Wooldrige (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer systems--Verification--Congresses,Computer software--Verification--Congresses,Artificial intelligence--Congresses,Keunstliche Intelligenz--Model Checking--Kongress--Patras <2008>,Model Checking.--swd,Kongress.--swd
رده :
QA
,
76
.
76
,.
V47
,
M63
,
2008
3. Model checking and artificial intelligence :
پدیدآورنده: Ron van der Meyden, Jan-Georg Smaus (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Computer software-- Verification, Congresses,Computer systems-- Verification, Congresses
رده :
QA76
.
76
.
V47
M63
2011
